The Fundamental Flaw in Gödels Proof of the Incompleteness Theorem
نویسنده
چکیده
This paper identifies the fundamental error inherent in Gödel’s proof of his Incompleteness Theorem. The error is generated by the ambiguity of the language of Gödel’s outline proof of his Proposition V, a proposition for which Gödel declined to furnish a detailed proof. The error arises from a confusion of the meta-language and the languages to which it refers, a confusion which is exacerbated by the failure of Gödel to clarify the principal assertions involved in his suggested proof outline, where there is a reliance on intuition rather than logical transparency.
منابع مشابه
A Fundamental Flaw in an Incompleteness Proof by George Boolos
This paper addresses a proof of incompleteness published by George Boolos. An analysis of this proofs demonstrates that there is an elementary error in the proof; the proof relies on the unproven assumption that the formal system can selfreference its own formulas.
متن کاملA Fundamental Flaw in Incompleteness Proofs by Gregory Chaitin
There are several similar proofs published by Chaitin involving the concept of information-theoretic complexity, and Chaitin claims that these are proof of the incompleteness of formal systems. An elementary analysis of these proofs demonstrates that the proofs are not in fact proofs of incompleteness.
متن کاملThe Surprise Examination Paradox and the Second Incompleteness Theorem
Few theorems in the history of mathematics have inspired mathematicians and philosophers as much as Gödel’s incompleteness theorems. The first incompleteness theorem states that, for any rich enough consistent mathematical theory, there exists a statement that cannot be proved or disproved within the theory. The second incompleteness theorem states that for any rich enough consistent mathematic...
متن کاملDiagonal arguments and fixed points
A universal schema for diagonalization was popularized by N.S. Yanofsky (2003), based on a pioneering work of F.W. Lawvere (1969), in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema. Here, we fi...
متن کاملA new proof for the Banach-Zarecki theorem: A light on integrability and continuity
To demonstrate more visibly the close relation between thecontinuity and integrability, a new proof for the Banach-Zareckitheorem is presented on the basis of the Radon-Nikodym theoremwhich emphasizes on measure-type properties of the Lebesgueintegral. The Banach-Zarecki theorem says that a real-valuedfunction $F$ is absolutely continuous on a finite closed intervalif and only if it is continuo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014